Publisher version (open access) of A new lower bound for ||(3/2)k||